1. Computability and logic
پدیدآورنده : George S. bools, John P.Burgess, Richard C. Jeffrey
کتابخانه: کتابخانه پردیس هنرهای زیبا دانشگاه تهران (طهران)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)